<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="refresh" content="0; url=https://forge.rust-lang.org/ides.html">
  </head>
</html>
